Constructive Disintegration and Conditional Modes
arxiv.org·1d
🏗️Constructive Logic
SAT Requires Exhaustive Search
link.springer.com·22h·
Discuss: Hacker News
🧮Kolmogorov Complexity
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·2h
🧮Kolmogorov Complexity
Why Computer Science Is No Good, Redux
cacm.acm.org·1h
🎯Performance Proofs
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers
How the Lean language brings math to coding and coding to math
amazon.science·28m·
Discuss: Hacker News
🔬Lean
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·1d
📐Mathematical Art
Relative Completeness of Incorrectness Separation Logic
arxiv.org·14h
🧠Separation Logic
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
Russian Teacher Tricks American Students
mindyourdecisions.com·22h
🌀Differential Geometry
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·1d·
Discuss: Hacker News
⏰Time Crystals
Software Internals Book Club
eatonphil.com·12h
⚙️Operating System Design
Machine Learning Fundamentals: model evaluation project
dev.to·1h·
Discuss: DEV
📏Code Metrics
CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment
arxiv.org·14h
⚡Proof Automation
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·14h
🔄Finite State Machines
Politics and math, A Drama in Four Parts
pballew.blogspot.com·1d·
Discuss: www.blogger.com
🔐Soviet Cryptography
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp